COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Kaplan, D. and Montague, R. (1960) A Paradox Regained. Notre Dame Journal
C00004 ENDMK
C⊗;
Kaplan, D. and Montague, R. (1960) A Paradox Regained. Notre Dame Journal
of symbolic logic, vol. 1, pp. 79-90.

Montague, R. (1963) Syntactical treatments of modality, with corollaries
on reflexion principles and finite axiomatizability. Acta Philosofica
Fennica, vol. xxx, pp. 153-167

McCarthy, J. (xxx) Programs with common sense.

McCarthy, J. (xxx) Situations, actions, and causal laws.

McCarthy, J. and Hayes, P. (xxx) Some philosophical problems from the
standpoint of artificial intelligence.

Sandewall, E. (xxx) several reports.

Hintikka, J. (xxx) Knowledge and belief.

Winograd, T. et. al. Microplanner reference manual

Winograd, T. thesis

Amarel, S. (xxx) Representation problem in Machine intelligence n.

Sloman, A. in Artificial Intelligence

Davis, James D., The inconsistency of a certain axiom system for
set theory. Journal of Symbolic Logic, vol. 37, pp. 538-542.  (An
axiom system due to Takeuti which contains a "reflection principle"
is shown to be inconsistent, and a weaker system is shown consistent.)